
(define (problem os-softpreferences-wbop_10_10-18)
        (:domain openstacks-softpreferences)
        (:objects n0 - count n1 - count n2 - count n3 - count n4 - count n5 -
         count n6 - count n7 - count n8 - count n9 - count n10 - count o1 -
         order o2 - order o3 - order o4 - order o5 - order o6 - order o7 -
         order o8 - order o9 - order o10 - order p1 - product p2 - product p3 -
         product p4 - product p5 - product p6 - product p7 - product p8 -
         product p9 - product p10 - product)
        (:init (next-count n0 n1) (next-count n1 n2) (next-count n2 n3)
         (next-count n3 n4) (next-count n4 n5) (next-count n5 n6)
         (next-count n6 n7) (next-count n7 n8) (next-count n8 n9)
         (next-count n9 n10) (stacks-in-use n0) (waiting o1) (includes o1 p1)
         (includes o1 p2) (includes o1 p9) (waiting o2) (includes o2 p5)
         (includes o2 p8) (includes o2 p9) (waiting o3) (includes o3 p2)
         (includes o3 p5) (includes o3 p10) (waiting o4) (includes o4 p4)
         (includes o4 p7) (includes o4 p9) (waiting o5) (includes o5 p1)
         (includes o5 p3) (includes o5 p6) (waiting o6) (includes o6 p3)
         (includes o6 p4) (includes o6 p6) (waiting o7) (includes o7 p2)
         (includes o7 p7) (includes o7 p10) (waiting o8) (includes o8 p4)
         (includes o8 p5) (includes o8 p7) (waiting o9) (includes o9 p6)
         (includes o9 p8) (includes o9 p10) (waiting o10) (includes o10 p1)
         (includes o10 p3) (includes o10 p8))
        (:goal
         (and (shipped o1)
              (shipped o2)
              (shipped o3)
              (shipped o4)
              (shipped o5)
              (shipped o6)
              (shipped o7)
              (shipped o8)
              (shipped o9)
              (shipped o10)
              (preference d-o1-n1 (delivered o1 p1))
              (preference d-o1-n2 (and (delivered o1 p2) (delivered o1 p1)))
              (preference d-o1-n3
               (and (delivered o1 p9) (delivered o1 p2) (delivered o1 p1)))
              (preference d-o2-n1 (delivered o2 p5))
              (preference d-o2-n2 (and (delivered o2 p8) (delivered o2 p5)))
              (preference d-o2-n3
               (and (delivered o2 p9) (delivered o2 p8) (delivered o2 p5)))
              (preference d-o3-n1 (delivered o3 p2))
              (preference d-o3-n2 (and (delivered o3 p5) (delivered o3 p2)))
              (preference d-o3-n3
               (and (delivered o3 p10) (delivered o3 p5) (delivered o3 p2)))
              (preference d-o4-n1 (delivered o4 p4))
              (preference d-o4-n2 (and (delivered o4 p7) (delivered o4 p4)))
              (preference d-o4-n3
               (and (delivered o4 p9) (delivered o4 p7) (delivered o4 p4)))
              (preference d-o5-n1 (delivered o5 p1))
              (preference d-o5-n2 (and (delivered o5 p3) (delivered o5 p1)))
              (preference d-o5-n3
               (and (delivered o5 p6) (delivered o5 p3) (delivered o5 p1)))
              (preference d-o6-n1 (delivered o6 p3))
              (preference d-o6-n2 (and (delivered o6 p4) (delivered o6 p3)))
              (preference d-o6-n3
               (and (delivered o6 p6) (delivered o6 p4) (delivered o6 p3)))
              (preference d-o7-n1 (delivered o7 p2))
              (preference d-o7-n2 (and (delivered o7 p7) (delivered o7 p2)))
              (preference d-o7-n3
               (and (delivered o7 p10) (delivered o7 p7) (delivered o7 p2)))
              (preference d-o8-n1 (delivered o8 p4))
              (preference d-o8-n2 (and (delivered o8 p5) (delivered o8 p4)))
              (preference d-o8-n3
               (and (delivered o8 p7) (delivered o8 p5) (delivered o8 p4)))
              (preference d-o9-n1 (delivered o9 p6))
              (preference d-o9-n2 (and (delivered o9 p8) (delivered o9 p6)))
              (preference d-o9-n3
               (and (delivered o9 p10) (delivered o9 p8) (delivered o9 p6)))
              (preference d-o10-n1 (delivered o10 p1))
              (preference d-o10-n2 (and (delivered o10 p3) (delivered o10 p1)))
              (preference d-o10-n3
               (and (delivered o10 p8)
                    (delivered o10 p3)
                    (delivered o10 p1)))))
        (:constraints
         (and (preference max1 (always (not (stacks-in-use n1))))
              (preference max2 (always (not (stacks-in-use n2))))
              (preference max3 (always (not (stacks-in-use n3))))
              (preference max4 (always (not (stacks-in-use n4))))
              (preference max5 (always (not (stacks-in-use n5))))
              (preference max6 (always (not (stacks-in-use n6))))
              (preference max7 (always (not (stacks-in-use n7))))
              (preference max8 (always (not (stacks-in-use n8))))
              (preference max9 (always (not (stacks-in-use n9))))
              (preference max10 (always (not (stacks-in-use n10))))))
        (:metric minimize
         (+ (* (is-violated d-o1-n3) 4)
            (* (is-violated d-o1-n2) 2)
            (is-violated d-o1-n1)
            (* (is-violated d-o2-n3) 4)
            (* (is-violated d-o2-n2) 2)
            (is-violated d-o2-n1)
            (* (is-violated d-o3-n3) 4)
            (* (is-violated d-o3-n2) 2)
            (is-violated d-o3-n1)
            (* (is-violated d-o4-n3) 4)
            (* (is-violated d-o4-n2) 2)
            (is-violated d-o4-n1)
            (* (is-violated d-o5-n3) 4)
            (* (is-violated d-o5-n2) 2)
            (is-violated d-o5-n1)
            (* (is-violated d-o6-n3) 4)
            (* (is-violated d-o6-n2) 2)
            (is-violated d-o6-n1)
            (* (is-violated d-o7-n3) 4)
            (* (is-violated d-o7-n2) 2)
            (is-violated d-o7-n1)
            (* (is-violated d-o8-n3) 4)
            (* (is-violated d-o8-n2) 2)
            (is-violated d-o8-n1)
            (* (is-violated d-o9-n3) 4)
            (* (is-violated d-o9-n2) 2)
            (is-violated d-o9-n1)
            (* (is-violated d-o10-n3) 4)
            (* (is-violated d-o10-n2) 2)
            (is-violated d-o10-n1)
            (* (is-violated max1) 11.6)
            (* (is-violated max2) 11.6)
            (* (is-violated max3) 11.6)
            (* (is-violated max4) 11.6)
            (* (is-violated max5) 11.6)
            (* (is-violated max6) 11.6)
            (* (is-violated max7) 11.6)
            (* (is-violated max8) 11.6)
            (* (is-violated max9) 11.6)
            (* (is-violated max10) 11.6))))
